Semimodule Enrichment
نویسنده
چکیده
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal category with biproducts is enriched over semimodules. We show that these extensions of enrichment (e.g. from hom-sets to homsemimodules) are functorial, and use them to make precise the intuition that “compact objects are finite dimensional” in standard cases.
منابع مشابه
One Digital Signature Scheme in Semimodule over Semiring
A modernization of signature scheme published in (Sakalauskas, 2004) is presented. This scheme differs from the prototype by its structure and uses a more general algebraic systems. It has a higher security and shorter key length and is also more computationally effective. The introduced new algebraic structures, semiring and semimodule, are mutually compatible algebraic systems. The semiring i...
متن کاملWeakly prime ternary subsemimodules of ternary semimodules
In this paper we introduce the concept of weakly prime ternary subsemimodules of a ternary semimodule over a ternary semiring and obtain some characterizations of weakly prime ternary subsemimodules. We prove that if $N$ is a weakly prime subtractive ternary subsemimodule of a ternary $R$-semimodule $M$, then either $N$ is a prime ternary subsemimodule or $(N : M)(N : M)N = 0$. If $N$ is a $Q$-...
متن کامل*-Continuous Kleene ω-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کاملLinear Equational Theories and Semimodule Representations
Equational theories of some linear equations are studied. As a consequence, semimodule representations of the corresponding algebras are obtained. Examples are shown on medial and paramedial equations and some of their general-
متن کاملOn Complete Semimodules1
1. In the first theorem of [3], Wiegandt incorrectly states that a semimodule is complete if and only if it is divisible. (See §2 for definitions.) In this paper we show (in §3) that his theorem should read: a semimodule is complete if and only if it is a divisible group. Divisible semimodules which are not necessarily groups are discussed in §4, in connection with Wiegandt's second theorem. It...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 218 شماره
صفحات -
تاریخ انتشار 2008